#/bin/bash
cat "pid/manager.pid" | awk '{print $1}' | xargs kill -USR1